81. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
Classification :
QA
76
.
6
.
A45842
1992
82. Algebraic foundations in computer science :
Author: edited by Werner Kuich, George Rahonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
A44
2011
83. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
84. Algol-like Languages
Author: edited by Peter W. O'Hearn, Robert D. Tennent.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.
85. All About Maude--A High-performance Logical Framewor
Author: / Manuel Clavel ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Rewriting systems (Computer science),Human information processing.
Classification :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
86. <An> Introduction to Default Logic
Author: Philippe Besnard
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial Intelligence,Logic programming,Logic
Classification :
Q
،
335
،.
B49
،
1989
87. An inductive logic programming approach to statistical relational learning
Author: / Kristian Kersting
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
Classification :
QA76
.
63
.
K47
2006
88. An intensional implementation technique for functional languages
Author: Yaghi, Ali A. G.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: QA76 Electronic computers. Computer science. Computer software
89. An introduction to default logic
Author: Besnard, Philippe
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Logic programming,، Logic
Classification :
Q
335
.
B49
1989
90. An introduction to logic programming through Prolog /
Author: Michael Spivey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
Classification :
QA76
.
63
.
S64
1996
91. An introduction to machine learning /
Author: Miroslav Kubat.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
Classification :
QA76
.
9
.
D343
K83
2017
92. An introduction to programming using Alice 2.2 /
Author: by Charles W. Herbert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.,Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.
Classification :
QA76
.
64
.
H498
2011
93. An introduction to the PL/CV2 programming logic
Author: Constable, R L
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، PL/CV2 )Computer program language(
Classification :
QA
76
.
5
.
C6615
94. An introduction to the PL/CV2 programming logic
Author: Constable, Robert L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، PL/CV )Computer program language(,، Computer programs - Verification
Classification :
QA
76
.
L4
v
.
135
95. An introduction to the PL/CV2 programming logic
Author: Constable, Robert L.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، PL/CV )Computer program language(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
135
96. An object-oriented approach to programming logic and design
Author: Farrell, Joyce
Library: (Semnan)
Subject: ، Logic programming,، Logic design
Classification :
QA
76
.
63
.
F3O2
97. Analytical and stochastic modeling techniques and application
Author: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
Classification :
TK5105
.
5
.
I58
2010
98. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
99. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
100. Answer set programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming. ;
